/*
 * Kernel version string
 */
const char kernel_version[] =	"cnix-0.1";
